Safe Dynamic Recon gurations of Fractal Architectures with FScript∗
نویسندگان
چکیده
In this paper we present FScript, a Domain-Speci c Language used to program structural recon gurations of Fractal architectures. Compared to the use of the standard Fractal APIs in a general purpose language, FScript o ers better syntactic support for navigation, more dynamicity, and guarantees on the recon gurations (termination, atomicity, consistency, and isolation). FScript introduces a new notation, called FPath, which is designed to express queries on Fractal architectures, navigating inside them and selecting elements according to predicates. It also provides access to all the primitive recon guration actions available in Fractal, and enables the user to de ne custom recon gurations using a simple imperative language.
منابع مشابه
Fiabilité des reconfigurations dynamiques dans les architectures à composants. (Reliability of dynamic reconfigurations in component-based architectures)
Software engineering must cope with a more and more increasing need for evolutivity of software systems in order to make their maintenance and more generally their administration easier. However, evolution and especially dynamic evolution in a system must not be done at the expense of its reliability, that is to say its ability to deliver the expected functionalities. Actually modi cations in a...
متن کاملDynamic Precision Management for Loop Computations on Recon gurable Architectures
Recon gurable architectures promise signi cant performance bene ts by customizing the con gurations to suit the computations. Variable precision for computations is one important method of customization for which recon gurable architectures are well suited. The precision of the operations can be modi ed dynamically at run-time to match the precision of the operands. Though the advantages of rec...
متن کاملUsing Temporal Logic for Dynamic Reconfigurations of Components
Dynamic reconfigurations increase the availability and the reliability of component-based systems by allowing their architectures to evolve at run-time. This paper deals with the formal specification and verification of dynamic reconfigurations of those systems using architectural constraints and temporal logic patterns. The proposals of the paper are applied to the Fractal component model. Giv...
متن کاملFPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures
Component-based systems must support dynamic reconfigurations to adapt to their execution context, but not at the cost of reliability. Fractal provides intrinsic support for dynamic reconfiguration, but its definition in terms of low-level APIs makes it complex to write reconfigurations and to ensure their reliability. This article presents a language-based approach to solve these issues: direc...
متن کاملMapping Loops onto Reconfigurable Architectures
Recon gurable circuits and systems have evolved from application speci c accelerators to a general purpose computing paradigm. But the algorithmic techniques and software tools are also heavily based on the hardware paradigm from which they have evolved. Loop statements in traditional programs consist of regular, repetitive computations which are the most likely candidates for performance enhan...
متن کامل